abstraction operatorの例文

例文

1. The lambda abstraction operator, ?, takes a formal parameter variable and a body expression.
2. The construction of the ?-algebra through the introduction of an abstraction operator proceeds as follows:
3. The abstraction operator, \ lambda, is said to bind its variable wherever it occurs in the body of the abstraction.
4. Although the aim is to increase the speed of a computation, the role of abstraction has posed questions about the involvement of abstraction operators.
5. *"'Abstraction "'& mdash; the abstraction operator, \ tau _ I, provides a way to " hide " certain actions, and treat them as events that are internal to the systems being modelled.